mini-os: whitespace
authorThomas Leonard <talex5@gmail.com>
Thu, 26 Jun 2014 11:28:24 +0000 (12:28 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 27 Jun 2014 12:38:34 +0000 (13:38 +0100)
commite2e17503ee4406dbb0511f8b48ece3aba3cc66a1
tree671808b208f02e06aaef6ac839b6595e33a54201
parent4db67cf657fe0194b56f042c3a89c29bca1e19a9
mini-os: whitespace

Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/gnttab.c
extras/mini-os/hypervisor.c
extras/mini-os/sched.c